DLs for DLs: Description Logics for Digital Libraries

DLs for DLs : Description Logics for Digital

Critical Success Factors of Digital Libraries in Iran: A Qualitative Research

Background and Aim: Myriad of IT projects failed in recent years. Digital libraries (DLs) as the product of the usage of IT in the library organization followed a similar trend. This paper studies the critical success factors (CSFs) of DLs in the context of Iran, with special focus on the Iranian Ministry of Science, Research, and Technology. CSFs, in this paper, are those factors that if follo...

Towards More Useful Description Logics of Time, Change and Context

Description Logics (DLs) are a family of logic-based formalisms for the representation of and reasoning about knowledge. Classical DLs are fragments of first-order logic and therefore aim at capturing static knowledge. Alas, the lack of means of DLs to capture dynamic aspects of knowledge has been often criticized because many important DL applications depend on this kind of knowledge. As a rea...

Transforming Fuzzy Description Logics into Classical Description Logics

In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the conside...

E-connections of Description Logics

1 Motivation Combining description logics (DLs) with other logical formalisms, including other DLs, is an important and challenging task. Recent examples include: 1. the combination of DLs with temporal logics to form multi-dimensional temporal DLs, cf. e.g. [1, 6, 10]; 2. the fusion of multiple DLs into a single formalism that inherits decidability from its components, cf. [2]; 3. the combinat...